From 12ce9a40dc3b95c8df026fa7ab0edbf8c2a5c5ab Mon Sep 17 00:00:00 2001 From: Leo Koppelkamm Date: Thu, 14 Apr 2011 13:52:08 +0000 Subject: [PATCH] Followup to r86047: Declare dependency to JUI button more cleanly --- resources/Resources.php | 2 +- resources/mediawiki.action/mediawiki.action.history.js | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/resources/Resources.php b/resources/Resources.php index 4cc7ac13c3..dc1c799e63 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -550,7 +550,7 @@ return array( 'group' => 'mediawiki.action.history', 'remoteBasePath' => $GLOBALS['wgStylePath'], 'localBasePath' => "{$GLOBALS['IP']}/skins", - 'dependencies' => 'mediawiki.legacy.wikibits', + 'dependencies' => array( 'mediawiki.legacy.wikibits', 'jquery.ui.button' ), ), 'mediawiki.legacy.IEFixes' => array( 'scripts' => 'common/IEFixes.js', diff --git a/resources/mediawiki.action/mediawiki.action.history.js b/resources/mediawiki.action/mediawiki.action.history.js index fb62d65e49..acf4e290cd 100644 --- a/resources/mediawiki.action/mediawiki.action.history.js +++ b/resources/mediawiki.action/mediawiki.action.history.js @@ -5,7 +5,5 @@ jQuery( function( $ ) { // Replaces histrowinit $( '#pagehistory li input[name="diff"], #pagehistory li input[name="oldid"]' ).click( diffcheck ); diffcheck(); - mediaWiki.loader.using('jquery.ui.button', function() { - window.fixCompare(); - }); + window.fixCompare(); }); \ No newline at end of file -- 2.20.1